Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
3

Model checking aircraft controller software: a case study

Рік:
2015
Мова:
english
Файл:
PDF, 2.78 MB
english, 2015
6

Tribological Behavior of Polyamide 66-Based Binary and Ternary Nanocomposites

Рік:
2012
Мова:
english
Файл:
PDF, 495 KB
english, 2012
8

[Lecture Notes in Computer Science] Cloud Computing and Security Volume 9483 ||

Рік:
2015
Мова:
english
Файл:
PDF, 24.75 MB
english, 2015
11

Quantitative risk analysis of safety–critical embedded systems

Рік:
2017
Мова:
english
Файл:
PDF, 2.23 MB
english, 2017
14

Modeling and verification of Web services composition based on model transformation

Рік:
2016
Мова:
english
Файл:
PDF, 1.12 MB
english, 2016
15

Detecting safety-related components in statecharts through traceability and model slicing

Рік:
2017
Мова:
english
Файл:
PDF, 1.57 MB
english, 2017
16

Spectrum-Based Fault Localization Framework to Support Fault Understanding

Рік:
2019
Мова:
english
Файл:
PDF, 226 KB
english, 2019
25

Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms

Рік:
2011
Мова:
english
Файл:
PDF, 381 KB
english, 2011
27

Minimal privacy authorization in web services collaboration

Рік:
2011
Мова:
english
Файл:
PDF, 766 KB
english, 2011
32

Self-adaptive semantic web service matching method

Рік:
2012
Мова:
english
Файл:
PDF, 1.00 MB
english, 2012
35

Supporting negotiation mechanism privacy authority method in cloud computing

Рік:
2013
Мова:
english
Файл:
PDF, 1.05 MB
english, 2013
39

Development of Aeolian map of China using mesoscale atmospheric modelling

Рік:
2015
Мова:
english
Файл:
PDF, 5.22 MB
english, 2015